Writing ionic formulae